Equilibrium and Termination
نویسندگان
چکیده
منابع مشابه
Equilibrium and Termination
In this note we explore an aspect of the relationship between the notion of equilibrium of a continuous time Markov chain (CTMC) and that of the traditional concept of termination in rewriting systems. Unlike in deterministic dynamical systems, a Markov chain equilibrium is not a definite state, but rather a probability over the state space which is invariant under the Markov semigroup, and sat...
متن کاملEquilibrium and Termination ( extended version ) ∗
We present a reduction of the Post correspondence problem (PCP) to the question of whether a continuous-time Markov chain (CTMC) presented as a set graph-rewriting rules has an equilibrium. It follows that the question of whether a computable CTMC is dissipative (ie does not have an equilibrium) is undecidable. The encoding uses the Kappa language and is presented in details for a simple PCP in...
متن کاملV2O3(0001) surface termination: phase equilibrium.
Complementary but independent medium-energy and low-energy ion scattering studies of the (0001) surfaces of V(2)O(3) films grown on Pd(111), Au(111) and Cu(3)Au(100) reveal a reconstructed full O(3)-layer termination creating a VO(2) surface trilayer. This structure is fully consistent with previous calculations based on thermodynamic equilibrium at the surface during growth, but contrasts with...
متن کاملEquilibrium and termination II: the case of Petri nets
This paper is concerned with the asymptotic properties of a restricted class of Petri nets equipped with stochastic mass action semantics. We establish a simple algebraic criterion for the existence of an equilibrium, that is to say an invariant probability that satisfies the detailed balance condition familiar from the thermodynamics of reaction networks. We also find that when such a probabil...
متن کاملThe V 2 O 3 ( 0001 ) surface termination : phase equilibrium
This paper is made available online in accordance with publisher policies. Please scroll down to view the document itself. Please refer to the repository record for this item and our policy information available from the repository home page for further information. To see the final version of this paper please visit the publisher's website. Access to the published version may require a subscri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2010
ISSN: 2075-2180
DOI: 10.4204/eptcs.26.7